Теорема о пределе монотонной последовательности.

Формулировка:

Если $\{a_{n}\}$ - монотонна и ограничена, то она сходится.

Д-во:

Б.О.О. $a_{n}$ монотонно возрастает, $M = sup \{a_{n}\}$. По определению: $$\forall{\epsilon > 0}~~ \exists{N \in \mathbb{N}}~~ a_{N} > M - \epsilon \Rightarrow \forall{n>N}~~ M-\epsilon < a_{N} \leq a_{n} \leq M < M + \epsilon \Rightarrow M - \epsilon < a_{n} < M + \epsilon ~~~\square$$

(Аналогично для монотонно убывающей)

Другие названия:
- Теорема Вейерштрасса
- Теорема Больцано-Коши-Вейерштрасса